6.19/7.81	unsat
