41.32/41.40	unsat
