12.26/12.75	unsat
