42.11/44.47	unsat
