38.64/41.43	unsat
