41.12/44.32	unsat
