8.87/11.57	unsat
