5.17/7.06	unsat
