6.28/12.73	unsat
