5.68/7.33	unsat
