41.88/41.94	unsat
