40.96/41.11	unsat
