5.68/5.86	unsat
