14.83/21.06	unsat
