4.69/6.86	unsat
