6.36/8.09	unsat
