9.98/10.03	unsat
