5.66/5.86	unsat
