9.87/10.67	unsat
