42.09/42.56	unsat
