6.23/8.39	unsat
