42.31/42.47	unsat
