13.77/17.81	unsat
