5.29/5.86	unsat
