12.66/12.78	unsat
