38.19/43.04	unsat
