5.13/5.86	unsat
