5.84/5.86	unsat
