9.81/12.69	unsat
