42.46/46.28	unsat
