5.83/5.86	unsat
