9.97/10.03	unsat
