42.01/44.95	unsat
