7.28/7.39	unsat
