5.68/8.56	unsat
