13.64/15.88	unsat
