42.46/44.41	unsat
