8.20/10.08	unsat
