8.87/10.30	unsat
