10.77/11.72	unsat
