41.15/41.24	unsat
