38.12/38.24	unsat
