11.77/11.81	unsat
