5.66/8.13	unsat
