8.97/11.97	unsat
