38.66/38.83	unsat
