16.77/18.06	unsat
