13.66/13.88	unsat
