42.34/44.14	unsat
