8.98/10.67	unsat
