5.33/7.87	unsat
