38.29/40.53	unsat
