7.27/8.39	unsat
