38.50/38.64	unsat
