12.78/12.86	unsat
