12.35/12.49	unsat
