5.17/7.86	unsat
