38.84/38.96	unsat
