39.04/41.94	unsat
