38.79/38.87	unsat
