5.66/7.86	unsat
