7.27/7.39	unsat
