1.77/1.81	unsat
