38.12/38.29	unsat
