8.77/11.59	unsat
