13.76/13.88	unsat
