41.34/44.14	unsat
