41.29/44.32	unsat
