6.64/8.39	unsat
