12.62/12.94	unsat
