5.77/5.81	unsat
