6.47/7.39	unsat
