9.77/11.97	unsat
