9.77/11.86	unsat
