4.79/6.86	unsat
